1. Integrated Formal Methods
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Formal methods (Computer science) -- Congresses,System design -- Congresses,روشهای صوری (کامپیوتر) -- کنگرهها,طراحی سیستم -- کنگرهها
رده :
E-Book
,